Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Algebraic Methodology and Software Technology, 12 conf., AMAST 2008

 Автор: , Автор:
Категория: CsLn_
Размер книги: 8.73 Mb

All about Maude.. a high-performance logical framework

 Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 5.51 Mb

Concurrency, Graphs and Models

 Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 10.15 Mb